(KERNEL_FILE): Redefine it here.

diff --git a/src/s/hpux10.h b/src/s/hpux10.h
index 0c399f312943d650385c6dfc067d14bac3b4ba2f..32daf200a2192904d66581d5ed4286df87fa5837 100644 (file)
--- a/src/s/hpux10.h
+++ b/src/s/hpux10.h
@@ -13,6 +13,10 @@
 #define HPUX10
 #define FORCE_ALLOCA_H
 
+/* AlainF 20-Jul-1996 says this is right.  */
+#undef KERNEL_FILE
+#define KERNEL_FILE "/stand/vmunix"
+
 #ifdef LIBS_SYSTEM
 #undef LIBS_SYSTEM
 #endif